|
|
Tool for Software Systems Design
Hala, Karel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The Tool for software systems design is an application for visualization of application development. It's main goal is to achieve connection between developer and customer. It should be used to understand customer's needs, prepare work ow of project and behaviour of each class and method using objected oriented Petri nets. In this work we will look on other programs, that focus on similiar topic, we then pick some diagrams and describe how they were implemented. At the end we will disguss possible extension for this tool.
|
|
|
Object Oriented Petri Net Tool
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
|
|
|
OOPN Editor
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with Petri nets and their modeling. First of all, the thesis describes the formalism of the Petri network. It will also focus on object orientation of networks. In the second row, the thesis is specialized on the created application and it is a graphical editor of object-oriented Petri nets. Part of the thesis is the process of designing and implementing the already mentioned application. The application is created using programming language Java and is compatible only with operating system Windows. NetBeans IDE 8.0.2 development environment was used to create the application. The result of the whole bachelor thesis is an application for creation of models of object-oriented networks and their simulation with the attached server. Several examples of these models and their results are part of this thesis. These examples serve as an application manual.
|
|
|
Tool for Software Systems Design
Hrubý, Daniel ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The tool for software systems design is an aplication for simplification of system development. Use case diagram helps to make comunication between customer and developer better, then with the use of class diagram rewrite draft to object concept and thanks to object oriented Petri nets describe aplications behavior. First we will look on programs with similiar specialization, then describe each diagram and Object oriented Petri net. After that we will introduce application itself, testing and possible extensions.
|
|
|
The Tool for Object Oriented Petri Nets
Josefík, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.
|
|
|
Petri Nets Patterns Library
Hanák, Martin ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It concludes with various usability of such formalism and in the second part of the thesis it indentifes useful and often repeated patterns of OOPN. These patterns are strongly inspired by classic programing languages, mainly by constructions concerning data manipulation and program flow control. Indentified patterns describes options for modelling these construction in OOPN.
|
|
|
Model Based Design of Software Systems
Hanák, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with modern approach in creating software systems that is named Model-Driven Software Development. This metodology eliminates a lot of critical problems that can appear in conventional metodologies of creating software systems. Main idea of this approach is based on posibility to generate final code from conceptual models that can be done automatically or semi-automatically.
|
|
|
Editor of Object Oriented Petri Nets
Kovács, Zoltán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with design and implementation of the editor object-oriented Petri nets described by language PNTalk. A PNTalk compatible representation and storage format based on XML technologies will be created. The design of the individual parts of the editor focuses on the internal storage facilities, on the graphical user interface and its functionality. In the final part there are practical demonstrations of the application.
|
|
|
Framework for Creation and Verification of Specification Models
Matalík, Štěpán ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.
|
|
|
Interpreter of Petri Nets Formalism
Blažek, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.
|
guest ::
